具有多值约束的线性递归查询的有效计算

本文给出三个算法,分别用于把给定的右线性、左线性或左-右线性递归程序改写为一组更有效的规则.与Ullman等人的变换算法不同,本文的算法允许查询的初始约束可以是含任意多个约束元组的集合,而不必是单值的;这样,本文的算法不仅可以用于查询的求值,而且也可以用于子目标的处理.变换算法的正确性和变换后规则的有效性也在本文简略讨论.     

X-ray structure analysis and elastic properties of a fabric reinforced carbon/carbon composite

The effect of heat treatment on microstructure of a plain-weave carbon fabric reinforced carbon-carbon composite with phenolformaldehyde-derived carbon matrix was investigated by X-ray diffraction. The diffraction patterns were analysed by the least-square fitting program Carbonxs. After heat treatment from 1000 to 2800 °C the interplanar distance of (002) planes decreased from 3.488 to 3.420 Å and the lattice parameter in basal plane increased from 2.440 to 2.464 Å, respectively. Simultaneously, the coherent block size in the basal plane directions increased from 18 to 54 Å, which was accompanied by an increase of the fraction of organised carbon atoms from 0.50 to 0.85. The 002 diffraction profile of the composite was much narrower than the sum of peaks of the matrix and fabric alone. This can probably be caused by a better crystallographic ordering (or by a partial graphitisation) of the matrix in the composite. On the other hand, the composite Young’s modulus slightly decreased with the treatment temperature increasing from 2200 to 2800 °C in spite of the established strong improvement of fibre crystallinity and, therefore, fibre modulus. The mechanisms diminishing the modulus of composite (e.g. partial matrix graphitisation at the fibre/matrix interface and decreasing fibre/matrix contact area) probably prevailed over the increasing contribution of the fibre modulus.     

北京地区膳食摄入^232Th吸收入体液份额f1值的探讨

从北京地区公众成年人~(232)Th 的膳食日食入量,空气日吸入量,以及骨中~(232)Th 的沉积量出发,利用 ICRP 30号报告中参考人的代谢参数和内照射的库室模型,估算了北京地区公众成年人膳食摄入~(232)Th 后经胃肠道向体液转移份额 f_1值。结果表明,对于公众中成年人0.005是 f_1值的合适代表值,是 ICRP 30号报告推荐值 f_1=0.0002的25倍。虽然 ICRP 推荐值并不用于公众,但可以对群体有所了解;而北京地区从实测数据资料出发导出的 f_1值可能是更适于公众的。     

水对植物纤维水泥复合板生产的影响

研究了水对植物纤维水泥复合板性能的影响。选择合适的水分可以提高板材静弯曲强度,减小板材变形。     

Possible tactics to improve the growth of single-walled carbon nanotubes by chemical vapor deposition

The growth time, growth mode and the method of preparing the supported catalysts play an important role in the growth of single-walled nanotubes (SWNTs). Their effects on the chemical vapor deposition (CVD) growth of SWNTs with MgO-supported catalysts were investigated in this study. It is shown that the growth rate of SWNTs was large during the initial few minutes of growth, however the quality of the tubes was low owing to the formation of many defects. Long term growth may favor the formation of tubes with high quality and high yield, but the introduction of other forms of carbon (impurities) is also unavoidable. There was a balance between the increase in yield and quality and sacrifice of the purity during growth of SWNTs. MgO-supported catalysts prepared by the co-precipitation method were found to be more effective for the synthesis of SWNTs than those prepared by the widely used impregnation method. The size and dispersion state of the catalyst were found to be crucial in enhancing the growth of SWNTs. In addition, growth on the surface of SWNTs over nanosized catalyst films was shown to be more favorable for the synthesis of tube products with higher quality, yield and purity.     

注水井活动洗井技术在水网地区的研究与应用

针对水网地区注水井洗井液外排污染环境、固定式洗井流程网投资大、洗井能耗高等问题，进行了注水井活动洗井技术的研究与应用，对传统的注水井洗井污水排放泥浆池的洗井液回收流程进行了改进，形成了一套完整的具有水网地区油田特色的注水井活动洗井技术，使洗井污水处理回收效果得到了明显地改善，实现了污油、污水不落地，达到了节约资源、保护环境的目的。     

Forty-Five Years After Broadbent (1958): Still No Identification Without Attention.

According to D. E. Broadbent's (1958) selective filter theory, people do not process unattended stimuli beyond the analysis of basic physical properties. This theory was later rejected on the basis of numerous findings that people identify irrelevant (and supposedly unattended) stimuli. A careful review of this evidence, however, reveals strong reasons to doubt that these irrelevant stimuli were in fact unattended. This review exposed a clear need for new experiments with tight control over the locus of attention. The authors present 5 such experiments using a priming paradigm. When steps were taken to ensure that irrelevant stimuli were not attended, these stimuli produced no priming effects. Hence, the authors found no evidence that unattended stimuli can be identified. The results support a modern version of Broadbent's selective theory, updated to reflect recent research advances. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

工业层析洗梯液回收套用的一种方法

以生产甲胺基阿维菌素苯甲酸盐精品的工艺——工业层析产生的洗梯液回收套用的过程为例，说明利用二元恒沸物的组成随压力的变化而变化的规律，对生产洗梯液进行有效、简洁、合理分离及套用的方法。     

128×128红外焦平面阵列时序分析与温控电路设计

介绍了微测辐射热计的 12 8× 12 8凝视型非致冷红外热像仪的系统框图 ,论述了一种新型的红外焦平面阵列温控电路设计方案以及读出电路时序的FPGA实现方法 .该方案具有高集成度、高精度、低成本、布线简单等优点 ,为热像仪系统的研制开发提供了设计思想 .